abstraction
Class TransitionFunction

java.lang.Object
  extended by abstraction.TransitionFunction

public class TransitionFunction
extends java.lang.Object

This Class maintains informations about the triple present state, action, next state of one Service.


Field Summary
private  Action action
           
private  State nextState
           
private  State presentState
           
 
Constructor Summary
TransitionFunction(State presentState, Action action, State nextState)
          Constructor
 
Method Summary
 boolean equals(java.lang.Object o)
           
 Action getAction()
          get action of a transition function
 State getNextState()
          get a next state of a transition function
 State getPresentState()
          get a present state of a transition function
 int hashCode()
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
 

Field Detail

presentState

private State presentState

action

private Action action

nextState

private State nextState
Constructor Detail

TransitionFunction

public TransitionFunction(State presentState,
                          Action action,
                          State nextState)
Constructor

Parameters:
presentState -
action -
nextState -
Method Detail

getPresentState

public State getPresentState()
get a present state of a transition function

Returns:
present state of transaction function

getAction

public Action getAction()
get action of a transition function

Returns:
action of transaction function

getNextState

public State getNextState()
get a next state of a transition function

Returns:
next state of transaction function

equals

public boolean equals(java.lang.Object o)
Overrides:
equals in class java.lang.Object

hashCode

public int hashCode()
Overrides:
hashCode in class java.lang.Object
Returns:
int that represent the sum of hashCode of presentState, nextState and action

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object